Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
141	OMB APPROVAL OMB Number: Estimated average burden hours per response Add to Reading List Source URL: cdn.batstrading.com Language: English Economy Stock market Finance Business Auction theory Financial markets 73rd United States Congress U.S. Securities and Exchange Commission Order Auction Securities Exchange Act Security
142	Applied Ontology–0 IOS Press 1 Vague size predicates Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:47 Logic Mathematical logic Mathematics Predicate logic Grammar Model theory Formal languages First-order logic Predicate FO Argument Resolution
143	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO
144	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
145	Veritas Classical Schools Math Supply ListRemember! You will need to purchase the math books for your children. The information that you need to order your books is listed below. Rainbow Resource Center Add to Reading List Source URL: www.veritasalabama.com Language: English Abstract algebra Mathematics Ring theory Ring Algebra Lie algebras Universal algebra Algebras Geometric algebra
146	Evolution equations of second order with nonconvex potential and linear damping: existence via convergence of a full discretization ˇ skab,2,3 Etienne Emmricha,1,3 , David Siˇ a Institut Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2013-07-30 01:56:48 Mathematics Mathematical analysis Algebra Functional analysis Linear algebra Operator theory Distribution Hilbert space Projection It diffusion operator
147	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
148	Social Contract vs. Invisible Hand: Agreeing to Solve Social Dilemmas Viktor J. VanbergFreiburger Diskussionspapiere Add to Reading List Source URL: www.eucken.de Language: English - Date: 2016-05-09 04:39:40 Philosophy Political philosophy Politics Classical liberalism Anarchist theory Libertarian theory Guggenheim Fellows Social contract Friedrich Hayek Invisible hand Spontaneous order Constitutional economics
149	SPECIAL SESSIONSpecial Session 52: Fractional Di↵erential and Integral Equations, Theory and Applications Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:52 Mathematical analysis Mathematics Physics Dynamical systems Fractional calculus Fractals Partial differential equation Equation Nonlinear system Generalizations of the derivative Stability theory Fractional-order system

UPDATE